321. Rohit Parikh on Logic, Language and Society
پدیدآورنده : edited by Can Baskent, Lawrence S. Moss, Ramaswamy Ramanujam
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Philosophy,Logic,Mathematical logic,Semantics,Philosophy,Logic,Mathematical Logic and Formal Languages,Mathematical Logic and Foundations,Semantics
رده :
EBOOK
,
BC
R6
140
322. Scientific Applications of Language Methods
پدیدآورنده : \ edited by Carlos Martín-Vide.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal languages,Natural language processig (computer science),زبانهای صوری,پردازش زبان طبیعی,a03,a04,a03,a04
رده :
QA
267
.
3
.
S28
2011
E-Book
,
323. Scientific applications of language methods
پدیدآورنده : edited by Carlos Martín-Vide.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal languages.,Natural language processing (Computer science)
رده :
QA267
.
3
.
M37
2011eb
324. Scientific applications of language methods
پدیدآورنده : edited by Carlos Martín-Vide.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal languages.,Natural language processing (Computer science)
رده :
QA267
.
3
.
M37
2011eb
325. Semigroups, automata, and languages :University of Porto, 20-24, June 1994
پدیدآورنده : edited by Jorge Almeida, Gracinda M.S. Gomes, Pedro V. Silva
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Semigroups,Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
182
.
S443
1996
326. Semigroups, automata, and languages : University of Porto, 20-24, June 1994
پدیدآورنده : edited by Jorge Almeida, Gracinda M.S. Gomes, Pedro V. Silva
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Semigroups - Congresses , Machine theory - Congresses , Formal languages - Congresses
رده :
QA
182
.
S443
1994
327. Semirings, automata, languages
پدیدآورنده : Kuich, Werner, 1491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Machine theory,، Semirings )Mathematics(,، Formal languages
رده :
QA
267
.
K85
1985
328. Semirings, automata, languages
پدیدآورنده : Kuich, Werner
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Machine theory,، Semirings )Mathematics(,، Formal languages
رده :
QA
267
.
K85
1986
329. #Semirings, automata, languages
پدیدآورنده : #Werner Kuich, Arto Salomaa
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Machine theory ،Semirings )Mathematics( ،Formal languages
رده :
#
QA
،#.
K85
،#
1986
330. Simple program schemes and formal languages
پدیدآورنده : Engelfriet, Joost
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Formal languages,، Computer programming
رده :
QA
267
.
3
.
E53
331. Simple program schemes and formal languages
پدیدآورنده : Engelfriet, Joost.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Formal languages,، Programming )Electronic computers(
رده :
QA
267
.
3
.
E53
332. Simple program schemes and formal languages
پدیدآورنده : Engelfriet, Joost
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Formal languages,، Programming )Electronic computers(
رده :
QA
267
.
3
.
E53
333. Software Engineering and Formal Methods
پدیدآورنده : \ Radu Calinescu , Bernhard Rumpe (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,Mathematical Logic and Formal Languages.,Software engineering -- Congresses.,مهندسی ن‍رم اف‍زار ,نرم‌افزار -- مهندسی-- کنگره‌ها
رده :
QA
76
.
758
.
S62
2015
E-Book
,
334. Symposium on Semantics of Algorithmic Languages
پدیدآورنده : edited by E. Engeler
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
رده :
QA
3
.
L28
Vol
.
188
335. Symposium on real-time and hybrid systems :
پدیدآورنده : Cliff Jones, Ji Wang, Naijun Zhan (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science),Software engineering.,Artificial Intelligence.,Programming Languages, Compilers, Interpreters.,Software Engineering.,System Performance and Evaluation.,Theory of Computation.,Artificial intelligence.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
758
336. Symposium on semantics of algorithmic languages
پدیدآورنده : edited by E. Engeler
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Computer algorithms
رده :
QA
76
.
7
.
S9
1971
337. Symposium on semantics of algorithmic languages
پدیدآورنده : edited by E. Engeler
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Formal languages,Congresses ، Computer algorithms
رده :
QA
1
.
L4
v
.
188
338. Symposium on semantics of algorithmic languages
پدیدآورنده : edited by E.Engeler
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
رده :
QA
3
.
L28
no
.
188
339. Syntactic pattern recognition: an introduction
پدیدآورنده : Gonzalez, Rafael C.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Pattern perception,، Formal languages,، Autoata
رده :
Q
327
.
G65
340. Syntactic pattern recognition:an introduction
پدیدآورنده : GONZALEZ,RAFAEL C
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : PATTERN PERCEPTION , FORMAL LANGUAGES , ROBOTS
رده :
Q
327
.
G65
